منابع مشابه
On Induction vs. *-Continuity
In this paper we study the relative expressibility of the infinitary *-continuity condition (*-cant) < a * > X ~ V n < a n > x and the equational but weaker induction axiom Ond) X ^ [a*](X =[a lX) --[a*]X in Propositional Dynamic Logic. We show: (1) under ind only, there is a first-order sentence distinguishing separable dynamic algebras from standard Kripke models; whereas (2) under the strong...
متن کاملDensity Continuity Versus Continuity
Real-valued functions of a real variable which are continuous with respect to the density topology on both the domain and the range are called density continuous. A typical continuous function is nowhere density continuous. The same is true of a typical homeomorphism of the real line. A subset of the real line is the set of points of discontinuity of a density continuous function if and only if...
متن کاملJoin-continuity + Hypercontinuity = Prime continuity
Abstract. A remarkable result due to Kou, Liu & Luo states that the condition of continuity for a dcpo can be split into quasi-continuity and meet-continuity. Their argument contained a gap, however, which is probably why the authors of the monograph Continuous Lattices and Domains used a different (and fairly sophisticated) sequence of lemmas in order to establish the result. In this note we s...
متن کاملStrong continuity implies uniform sequential continuity
A . Uniform sequential continuity, a property classically equivalent to uniform continuity on compact sets, is shown, constructively, to be a consequence of strong continuity on a metric space. It is then shown that in the case of a separable metric space, in order to omit the word sequential from this result, it is necessary and sufficient to adopt a principle (BD-N) that is independent of Hey...
متن کاملSOME RESULTS OF CONTINUITY ?f
The dynamical behavior of a map on the unit interval has been the subject of much contemporary research. In this paper, we will consider the relation between the continuity of the map cof and cof for some positive integer k, where f is a continuous map from the unit interval to itself, and ?f is a function which takes any element of the unit interval to the set of all subsequential limits o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Studia Mathematica
سال: 1966
ISSN: 0039-3223,1730-6337
DOI: 10.4064/sm-27-3-273-288